141. Logic and computer science
پدیدآورنده : Edited by Piergiorgio Odifreddi
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Programming )Mathematics(,Congresses ، Computational complexity
رده :
QA
9
.
L6
1990
142. Logic and computer science : lectures given at the 1st Session of the Centro internazionale matematico estivo )C.I.M.E.( held at Montecatini Terme, Italy, June 20-28, 1988
پدیدآورنده : S. Homer ... ]et al.[; editor, P. Odifreddi
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Programming )Mathematics(,Congresses ، Computational complexity
رده :
QA
3
.
L28
Vol
.
1429
143. Logic and computer science: lectures given at the 1st session of the Centro internazionale matematico estivo )C.I.M.E.( held at Montecatini Terme, Italy, June 20-28, 1988
پدیدآورنده : S. Homer...]et al.[; editor, P. Odifreddi
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Programming )Mathematics(,Congresses ، Computational complexity
رده :
QA
3
.
L28
no
.
1429
144. Logic and computer science: lectures given at the 1st session of the Centro internazionale matematico estivo )C.I.M.E.( held at Montecatini Terme, Italy, June 20-28, 1988
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical-- Congresses,، Programming )Mathematics(-- Congresses,، Computational complexity-- Congresses
رده :
QA
3
.
L28
no
.
1429
145. Logic and machines : decision problems and complexity : Proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut fur Mathematische Logik und Frundlagenforschung der Universitat Munster/Westfalen
پدیدآورنده : Symposium "Rekursive Kombinatorik")3891:Institut fur Mathematische Logik und Grundlagenforschung der Universitat Munster/Westfalen(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Machine theory--Congresses,، Computational complexity--Congresses,، Decision-making--Congresses
رده :
QA
267
.
S98
1983
146. Machines, languages, and complexity
پدیدآورنده : 5th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November 41-81, 8891 : selected contributions ; J. Dassow, J. Kelemen, eds
موضوع : Congresses ، Computers,Congresses ، Programming languages )Electronic computers(,Congresses ، Computational complexity
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
147. Machines, languages, and complexity : 5th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November 14-18, 1988
پدیدآورنده : Selected contributions, J. Dassow, J. Kelemen, eds
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computers,Congresses ، Programming languages )Electronic computers(,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
381
148. Mathematical foundations of computer science 1986 : Proceedings of the 12th Symposium, Bratislava, Czchoslovakia, August 25-29, 1986
پدیدآورنده : edited by J. Gruska, B. Rovan and J. Wiedermann
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
233
149. Mathematical foundations of computer science 1981 : proceedings, 10th Symposium, Strbske Pleso, Czechoslovakia, August 31-September 4, 1981
پدیدآورنده : edited by J. Gruska and M. Chytil
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
118
150. Mathematical foundations of computer science 1981: proceedings, 10 th symposium Strbke Pleso, Czechosllovakia, August 31-September 4, 1981
پدیدآورنده :
موضوع : ، Machine theory-- Congresses,، Formal languages-- Congresses,، Computational complexity-- Congresses
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
151. Mathematical modelling and scientific computation
پدیدآورنده : P. Balasubramaniam, R. Uthayakumar (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computational complexity, Congresses,Mathematical models, Congresses,Mathematical optimization, Congresses,Science-- Data processing, Congresses
رده :
QA401
.
I458
2012eb
152. Measure of complexity : proceedings of the Conference held in Rome, September 30 - Octobr 2, 1987
پدیدآورنده : L. Peliti, A. Vulpiani, eds
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، System theory,Congresses ، Computational complexity
رده :
QC
3
.
L28
Vol
.
314
153. Measures of complexity : proceedings of the conference held in Rome, September 30-October 2, 1987
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، System theory-- Congresses,، Computational complexity-- Congresses
رده :
Q
295
.
M43
1988
154. Measures of complexity : proceedings of the conference held in Rome, September 30-October 2, 1987
پدیدآورنده : L. Peliti, A. Vulpiani, eds
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، System theory,Congresses ، Computational complexity
رده :
QC
1
.
L4
v
.
314
155. New developments in computational fluid dynamics
پدیدآورنده : / Kozo Fujii ... [et al.], (editors)
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Fluid dynamics- Data processing Congresses,Computational complexity Congresses
رده :
QA911
.
I546
2003
156. New developments in computational fluid dynamics
پدیدآورنده : / Kozo Fujii ... [et al.], (editors)
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Fluid dynamics , Data processing , Congresses,Computational complexity , Congresses,Electronic books
رده :
E-BOOK
157. New developments in computational fluid dynamics
پدیدآورنده : / Kozo Fujii ... [et al.], (editors)
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Fluid dynamics- Data processing Congresses,Computational complexity Congresses
رده :
QA911
.
I546
2003
158. New developments in computational fluid dynamics
پدیدآورنده :
کتابخانه: Library of Urmia University of Technology (West Azarbaijan)
موضوع : Fluid dynamics- Data processing- Congresses,Computational complexity- Congresses
رده :
QA
,
911
,.
I546
,
2003
159. Nonlinear analysis :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computational complexity ; Congresses. ;
160. Optimal algorithms : International Symposium, Varna, Bulgaria, May 29 - June 2, 1989 : Proceedings
پدیدآورنده : H. Djidjev, ed
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Approximation theory,Congresses ، Mathematical optimization,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
401